Instance Verification Kit (IVK)

spin lock @ [12841+51+/linux-3.18-rc1/drivers/md/raid5.c]
Instance Signature: device_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
handle_active_stripes [149882+21+/linux-3.18-rc1/drivers/md/raid5.c]
handle_stripe [106462+13+/linux-3.18-rc1/drivers/md/raid5.c]
handle_stripe_expansion [98775+23+/linux-3.18-rc1/drivers/md/raid5.c]
make_discard_request [129141+20+/linux-3.18-rc1/drivers/md/raid5.c]
make_request [131720+12+/linux-3.18-rc1/drivers/md/raid5.c]
ops_complete_reconstruct [40222+24+/linux-3.18-rc1/drivers/md/raid5.c]
ops_run_reconstruct5 [41476+20+/linux-3.18-rc1/drivers/md/raid5.c]
ops_run_reconstruct6 [43308+20+/linux-3.18-rc1/drivers/md/raid5.c]
raid5d [152067+6+/linux-3.18-rc1/drivers/md/raid5.c]
raid_run_ops [46001+12+/linux-3.18-rc1/drivers/md/raid5.c]
release_stripe [12239+14+/linux-3.18-rc1/drivers/md/raid5.c]
release_stripe_plug [128526+19+/linux-3.18-rc1/drivers/md/raid5.c]
reshape_request [136660+15+/linux-3.18-rc1/drivers/md/raid5.c]
retry_aligned_read [147938+18+/linux-3.18-rc1/drivers/md/raid5.c]